Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
701	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
702	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
703	Extracting a DPLL Algorithm Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 13:49:14 Logic in computer science Formal methods Automated theorem proving Proof theory Deduction Curry–Howard correspondence Symbol Entailment Boolean satisfiability problem Theoretical computer science Logic Mathematics
704	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
705	Unification in Maude Steven Eker 1 Unification Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-04-09 21:15:33 Logic programming Automated theorem proving Constraint programming Admissible rule Unification Satisfiability Local consistency Mathematical logic Logic Model theory
706	RULE[removed]Order-sorted Equational Unification Revisited Joe Hendrix and José Meseguer1 Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:47 Unification Admissible rule Sorting algorithms Entailment Symbol Logic Automated theorem proving Logic programming
707	Vita for Jean H. Gallier May 16, [removed]Personal Data Work address: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-19 10:01:17 Automated theorem proving Logic in computer science Logic programming Computer science Logical framework Formal language Unification Linear logic Mathematics Theoretical computer science Mathematical logic
708	Deciding ALBO with Tableau Renate A. Schmidt1 and Dmitry Tishkovsky1 School of Computer Science, The University of Manchester {renate.schmidt,dmitry.tishkovsky}@manchester.ac.uk This paper presents a tableau approach for Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Automated theorem proving Method of analytic tableaux Modal logic Finitary relation Function Calculus Logic Mathematics Mathematical logic
709	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
710	A new type for tactics A new type for tactics Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:30 Automated theorem proving Proof assistant ML Mathematical proof Matita Isabelle Prolog Theorem Stack Logic Mathematics Programming language theory

UPDATE